161. Optimal control : calculus of variations, optimal control theory, and numerical methods
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Calculus of variations-- Congresses,، Control theory-- Congresses,، Mathematical optimization-- Congresses
رده :
QA
315
.
O68
1993
162. Optimal control: proceedings of the conference on optimal control and variational calculus Oberwolfach West - Germany, June 15-21, 1986
پدیدآورنده : edited by R. Bulirsch... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Mathematical optimization,Congresses ، Control theory
رده :
QA
402
.
5
.
O68
1987
163. Paraconsistency :
پدیدآورنده : edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M.L. D'Ottaviano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Inconsistency (Logic), Congresses.,Inconsistency (Logic),PHILOSOPHY-- Logic.
رده :
BC199
.
I45
W67
2002eb
164. Phase transformations and material instabilities in solids /
پدیدآورنده : edited by Morton E. Gurtin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Phase transformations (Statistical physics), Congresses.,Solids-- Surfaces, Congresses.
رده :
QC176
.
8
.
P45
P43
1984
165. Proceedings of the International Conference on Stochastic Analysis and Applications, Hammamet, 2001
پدیدآورنده : edited by Sergio Albeverio, Anne Boutet de Monvel, and Habib Ouerdiane.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Stochastic analysis -- Congresses.,Stochastic analysis.
رده :
QA274
.
2
E358
2004
166. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012). Volume 5
پدیدآورنده : Yuhang Yang, Maode Ma, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks -- Congresses.,TECHNOLOGY & ENGINEERING -- Telecommunications.,Telecommunication systems -- Congresses.
167. Programming languages and systems :
پدیدآورنده : Amal Ahmed (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
168. Progress in industrial mathematics at ECMI 2016 /
پدیدآورنده : Peregrina Quintela, Patricia Barral, Dolores Gómez, Francisco J. Pena, Jerónimo Rodríguez, Pilar Salgado, Miguel E. Vázquez-Méndez, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering mathematics, Congresses.,Industrial engineering-- Mathematics, Congresses.,Applied mathematics.,Calculus & mathematical analysis.,Engineering mathematics.,Industrial engineering-- Mathematics.,Numerical analysis.,Optimization.,Probability & statistics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA329
169. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
170. Pseudo-differential operators :
پدیدآورنده : Luigi Rodino, Man W. Wong, Hongmei Zhu, Editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Pseudodifferential operators, Congresses.,MATHEMATICS-- Functional Analysis.,Pseudodifferential operators.
رده :
QA329
.
7
.
P74
2011
171. Pseudo-differential operators and related topics /
پدیدآورنده : Paolo Boggiatto [and others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Differential equations, Hyperbolic, Congresses.,Fourier analysis, Congresses.,Functional analysis, Congresses.,Geometry, Differential, Congresses.,Global analysis (Mathematics), Congresses.,Pseudodifferential operators, Congresses.,Spectral theory (Mathematics), Congresses.,Stochastic processes, Congresses.,Differential equations, Hyperbolic.,Differential equations, Hyperbolic.,Differential geometry.,Fourier analysis.,Fourier analysis.,Functional analysis.,Functional analysis.,Geometry, Differential.,Global analysis (Mathematics),Global analysis (Mathematics),MATHEMATICS-- Functional Analysis.,Pseudodifferential operators.,Pseudodifferential operators.,Spectral theory (Mathematics),Spectral theory (Mathematics),Stochastic processes.,Stochastic processes.
رده :
QA329
.
7
.
I58
2004
172. Quantum information and computing /
پدیدآورنده : editors, L. Accardi, M. Ohya and N. Watanabe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum computers, Congresses.,Quantum theory, Congresses.,Quantum computers.,Quantum theory.
رده :
QA76
.
889
.
Q8484
2006eb
173. Recent advances in the study of dental calculus
پدیدآورنده : Edited by J.M. ten Cate; organized by the Research Group on Surface and Colloid Phenomena in the Oral Cavity; under the auspices of the Council of Europe
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Dental Calculus -- Etiology,Dental Calculus -- Prevention & control,Dental Caries,Congresses
رده :
WU
174. Research and development in intelligent systems XVII :
پدیدآورنده : Max Bramer, Alun Preece and Frans Coenen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Expert systems (Computer science),Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
E95
M393
2001
175. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
176. Rewriting techniques and applications :
پدیدآورنده : N. Dershowitz, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
177. Satisfiability problem
پدیدآورنده : / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
رده :
QA9
.
3
.
S38
1997
178. Satisfiability problem :
پدیدآورنده : Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
رده :
QA9
.
3
.
S38
1997
179. Scattering theory and biomedical engineering modelling and applications :
پدیدآورنده : editors, G. Dassios [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biomedical engineering-- Mathematical models, Congresses.,Scattering (Mathematics), Congresses.,Biomedical Engineering, methods, Congresses.,Mathematics, Congresses.,Models, Theoretical, Congresses.,Biomedical engineering-- Mathematical models.,MEDICAL-- Allied Health Services-- Medical Technology.,MEDICAL-- Biotechnology.,MEDICAL-- Family & General Practice.,MEDICAL-- Lasers in Medicine.,Scattering (Mathematics),TECHNOLOGY & ENGINEERING-- Biomedical.
رده :
R853
.
M3
180. Schaum's Outline of Theory and Problems of Calculus of Finite Differences and Difference Equations
پدیدآورنده : by Murray R. Spiegel
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Difference equations -- Congresses
رده :
QA
431
.
S62
